A formalization of a subject-event ontology is proposed for modeling complex dynamic systems without reliance on global time. Key principles: (1) event as an act of fixation - a subject discerns and fixes changes according to models (conceptual templates) available to them; (2) causal order via happens-before - the order of events is defined by explicit dependencies, not timestamps; (3) making the ontology executable via a declarative dataflow mechanism, ensuring determinism; (4) models as epistemic filters - a subject can only fix what falls under its known concepts and properties; (5) presumption of truth - the declarative content of an event is available for computation from the moment of fixation, without external verification. The formalization includes nine axioms (A1-A9), ensuring the correctness of executable ontologies: monotonicity of history (I1), acyclicity of causality (I2), traceability (I3). Special attention is given to the model-based approach (A9): event validation via schemas, actor authorization, automatic construction of causal chains (W3) without global time. Practical applicability is demonstrated on the boldsea system - a workflow engine for executable ontologies, where the theoretical constructs are implemented in BSL (Boldsea Semantic Language). The formalization is applicable to distributed systems, microservice architectures, DLT platforms, and multiperspectivity scenarios (conflicting facts from different subjects).

China's first three-on-three robot football tournament kicked off in Beijing last Sunday. But the quality of play on show suggests that a robot won't be claiming the Ballon d'Or any time soon. As the AI-controlled bots shuffled slowly across the turf, they bumped into each other, toppled over, and only occasionally even kicked the ball. By the time the final whistle blew, two bots had to be stretchered off the pitch after taking falls that would earn most human players a yellow card for diving. Cheng Hao, founder of Booster Robotics, which supplied the robots for the tournament, told the Global Times that the robots currently have the skills of five-to six-year-old children.

In this paper we present a layered approach for multi-agent control problem, decomposed into three stages, each building upon the results of the previous one. First, a high-level plan for a coarse abstraction of the system is computed, relying on parametric timed automata augmented with stopwatches as they allow to efficiently model simplified dynamics of such systems. In the second stage, the high-level plan, based on SMT-formulation, mainly handles the combinatorial aspects of the problem, provides a more dynamically accurate solution. These stages are collectively referred to as the SWA-SMT solver. They are correct by construction but lack a crucial feature: they cannot be executed in real time. To overcome this, we use SWA-SMT solutions as the initial training dataset for our last stage, which aims at obtaining a neural network control policy. We use reinforcement learning to train the policy, and show that the initial dataset is crucial for the overall success of the method.

Hours after U.S. House Speaker Nancy Pelosi left Taipei after her controversial trip to the island, two Chinese drones breached Taiwan's airspace for the first time. Two People's Liberation Army (PLA) drones were spotted inside the airspace of Kinmen, an outlying Taiwanese island. Taiwan's Kinmen Defense Command announced two unidentified aircraft were spotted flying over Kinmen and Beiding islands Wednesday night at an altitude of about 2,000 meters. An analysis by the military determined they were unmanned aerial vehicles (UAVs), said Taiwan News, quoting an official statement. No Chinese military aircraft have conducted a flyover at Kinmen (alternatively known as Quemoy) since the 1950s.

China, in the midst of a significant upgrade of its military forces and purported arms race with the U.S., showed off a new drone that has a wingspan of nearly 70 feet and can fly continuously for almost a full day. Known as the CH-6 drone, it is'aimed at high-end arms and dual-use markets,' according to Chinese news outlet, Global Times. The drone - built by CH UAV - can fly continuously for 20 hours and reach speeds of 435 miles per hour, the news outlet added. It can also reach heights of almost 50,000 feet. It is the latest step in a growing arms race between China and the US, as the Chinese seek to overhaul their military.

China on Monday dispatched its advanced J-20 stealth fighters for the first time as it began a joint five-day military drill with Russia in the Northwest region of the country. Besides the fighter plane, the People's Liberation Army (PLA) also deployed many of its newest weapons, including the Y-20 large transport planes, during the exercise, the first since the COVID-19 outbreak, reported The South China Morning Post. Over 10,000 troops will take part in the Zapad/Interaction-2021 exercise held at the Ningxia Hui autonomous region where innovative combat tactics like emergency troop and heavy weapon drops, long-range strikes by J-16 fighter bombers, and the use of drones, will be displayed. Liu Xiaowu, commander-in-chief of the Chinese troops, told state broadcaster CCTV that 81% of weapons being used in the drill were "brand new." "That includes the J-20 [stealth fighter jet], KJ-500 [airborne early-warning and control aircraft], and J-16, while surveillance and combat drones and new armored vehicles will also [be involved]," he said.

In China, blockchain technology is increasingly employed to settle court cases, local news outlet Global Times reported on April 25. Speaking at the 2019 Forum on China Intellectual Property Protection, Zhang Wen, president of the Beijing Internet Court -- which was established in September 2018, and has since processed 14,904 cases -- reportedly said that the court employs technologies such as artificial intelligence (AI) and blockchain to render judgement. Zhang reportedly told the Global Times that "of the 41 cases concluded [with blockchain technology] so far, parties chose to settle out of court rather than litigate in 40 cases with compelling evidence from blockchain. He also noted that the court had deployed blockchain in 58 cases to collect and provide evidence. "In the current use of AI as an assistant to make rulings, efficiency is prioritized over accuracy.

China has for the first time released video showing its latest stealth drone in flight, state media said Sunday. China Central Television (CCTV) on Saturday ran video featuring the "saucer-like" Sky Hawk drone, and state-run Global Times claimed that the new drone's cutting-edge technology will allow it to fly faster, farther and escape detection. The Global Times, quoting the CCTV report, said the China Aerospace Science and Industry Corp.-developed drone, known as the Sky Hawk, had conducted the flight test at an undisclosed location in the country. Video showed the drone taking off and landing, marking the first time that the aircraft has been publicly seen in flight, according to the reports. The drone reportedly made its maiden flight last February, but no video had been published before Saturday's broadcast.

The world's AI superpower is at it again. This time they are using AI technology to gain an upper hand in the fight against truancy. Many Chinese schools were fed up with students leaving school without permission or skipping class. So they decided to do the only thing they believed would work. They created so called "smart" uniforms to keep students in line.

In a bid to modernize battlefield resources, the Chinese Army has started trialing unmanned tanks, according to a new report from state-run publication Global Times. The upgraded military vehicles are currently being tested with a distant manned console, much like remotely operated drones. However, the People's Liberation Army Ground Force, aka PLAGF, also plans to integrate them with artificial intelligence, in order to make them nearly self-operable. A short video from CCTV, a prominent state television broadcaster in the People's Republic of China, recently appeared on the internet showcasing one of the unmanned vehicles being tested. The clip features a modified version of a dated Type 59 tank moving forward and backward like a remote-controlled car and a distant Chinese Army official manning its control-box a few meters away.